<html>
<head><meta charset="utf-8"><title>meeting 2019.07.25 · t-compiler/wg-meta · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/index.html">t-compiler/wg-meta</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E25.html">meeting 2019.07.25</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="171711924"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.07.25/near/171711924" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E25.html#171711924">(Jul 25 2019 at 17:53)</a>:</h4>
<p>(just a quick note that I can't make a meeting today)</p>



<a name="171713738"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.07.25/near/171713738" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E25.html#171713738">(Jul 25 2019 at 18:16)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> no worries, if <span class="user-mention" data-user-id="116107">@davidtwco</span> is around we can go over at least some issues/prs</p>



<a name="171713781"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.07.25/near/171713781" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E25.html#171713781">(Jul 25 2019 at 18:17)</a>:</h4>
<p><span class="user-mention" data-user-id="116107">@davidtwco</span> ping me if you have some spare minutes to go over some of this stuff</p>



<a name="171713927"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.07.25/near/171713927" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E25.html#171713927">(Jul 25 2019 at 18:18)</a>:</h4>
<p><span class="user-mention" data-user-id="116266">@Santiago Pastorino</span> I’m around just now.</p>



<a name="171714078"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.07.25/near/171714078" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E25.html#171714078">(Jul 25 2019 at 18:20)</a>:</h4>
<p>cool</p>



<a name="171714110"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.07.25/near/171714110" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E25.html#171714110">(Jul 25 2019 at 18:21)</a>:</h4>
<p>so ... let's start with PRs I guess?</p>



<a name="171714121"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.07.25/near/171714121" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E25.html#171714121">(Jul 25 2019 at 18:21)</a>:</h4>
<p>Sure.</p>



<a name="171714160"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.07.25/near/171714160" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E25.html#171714160">(Jul 25 2019 at 18:21)</a>:</h4>
<p>yesterday I went over the minutes and merged them all</p>



<a name="171714177"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.07.25/near/171714177" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E25.html#171714177">(Jul 25 2019 at 18:21)</a>:</h4>
<p>I'd add an automerge bot for those :)</p>



<a name="171714235"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.07.25/near/171714235" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E25.html#171714235">(Jul 25 2019 at 18:22)</a>:</h4>
<p>there were like 4 rustc minutes unmerged</p>



<a name="171714251"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.07.25/near/171714251" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E25.html#171714251">(Jul 25 2019 at 18:22)</a>:</h4>
<p>Makes sense. I can try be more active in looking over those.</p>



<a name="171714273"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.07.25/near/171714273" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E25.html#171714273">(Jul 25 2019 at 18:22)</a>:</h4>
<p>yeah, yesterday I realize that I should be more active on that regard too</p>



<a name="171714274"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.07.25/near/171714274" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E25.html#171714274">(Jul 25 2019 at 18:22)</a>:</h4>
<p>I will</p>



<a name="171714315"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.07.25/near/171714315" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E25.html#171714315">(Jul 25 2019 at 18:23)</a>:</h4>
<p>first PR <a href="https://github.com/rust-lang/compiler-team/issues/112" target="_blank" title="https://github.com/rust-lang/compiler-team/issues/112">compiler-team#112</a></p>



<a name="171714425"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.07.25/near/171714425" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E25.html#171714425">(Jul 25 2019 at 18:24)</a>:</h4>
<p>Looks like it should be closed but wasn’t due to a rustbot bug?</p>



<a name="171714446"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.07.25/near/171714446" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E25.html#171714446">(Jul 25 2019 at 18:24)</a>:</h4>
<p>hmm I think so?</p>



<a name="171714496"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.07.25/near/171714496" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E25.html#171714496">(Jul 25 2019 at 18:25)</a>:</h4>
<p>should we close it then?</p>



<a name="171714507"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.07.25/near/171714507" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E25.html#171714507">(Jul 25 2019 at 18:25)</a>:</h4>
<p>Yeah.</p>



<a name="171714628"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.07.25/near/171714628" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E25.html#171714628">(Jul 25 2019 at 18:26)</a>:</h4>
<p>done</p>



<a name="171714654"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.07.25/near/171714654" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E25.html#171714654">(Jul 25 2019 at 18:26)</a>:</h4>
<p>left the ticket open on my browser just in case bots are mad again</p>



<a name="171714663"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.07.25/near/171714663" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E25.html#171714663">(Jul 25 2019 at 18:26)</a>:</h4>
<p>next</p>



<a name="171714674"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.07.25/near/171714674" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E25.html#171714674">(Jul 25 2019 at 18:27)</a>:</h4>
<p><a href="https://github.com/rust-lang/compiler-team/issues/95" target="_blank" title="https://github.com/rust-lang/compiler-team/issues/95">compiler-team#95</a></p>



<a name="171714700"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.07.25/near/171714700" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E25.html#171714700">(Jul 25 2019 at 18:27)</a>:</h4>
<p>If you’re happy with it, can probably just merge.</p>



<a name="171714718"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.07.25/near/171714718" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E25.html#171714718">(Jul 25 2019 at 18:27)</a>:</h4>
<p>well this was at some point on my plate but I kind of left it around expecting that some people would more info there</p>



<a name="171714737"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.07.25/near/171714737" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E25.html#171714737">(Jul 25 2019 at 18:27)</a>:</h4>
<p>I mean, merging won't be bad but it's still incomplete</p>



<a name="171714789"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.07.25/near/171714789" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E25.html#171714789">(Jul 25 2019 at 18:28)</a>:</h4>
<p>maybe we should merge and create an issue for that?</p>



<a name="171714836"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.07.25/near/171714836" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E25.html#171714836">(Jul 25 2019 at 18:28)</a>:</h4>
<p>I don't feel strong to fill all the different possibilities to be honest and I may need to spend some time to come up with a complete picture of that</p>



<a name="171714840"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.07.25/near/171714840" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E25.html#171714840">(Jul 25 2019 at 18:28)</a>:</h4>
<p>so, unsure</p>



<a name="171714853"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.07.25/near/171714853" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E25.html#171714853">(Jul 25 2019 at 18:28)</a>:</h4>
<p>do you have the knowledge to completely fill that?</p>



<a name="171714870"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.07.25/near/171714870" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E25.html#171714870">(Jul 25 2019 at 18:29)</a>:</h4>
<p>mainly I wonder what to do to move this forward</p>



<a name="171714876"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.07.25/near/171714876" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E25.html#171714876">(Jul 25 2019 at 18:29)</a>:</h4>
<p>I don’t think so. We did want to add a not-quite-experts level.</p>



<a name="171714878"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.07.25/near/171714878" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E25.html#171714878">(Jul 25 2019 at 18:29)</a>:</h4>
<p>should we get somebody to try to do that?</p>



<a name="171714922"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.07.25/near/171714922" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E25.html#171714922">(Jul 25 2019 at 18:29)</a>:</h4>
<p>Which might help, since I think individuals would be more likely to sign themselves up (I know I would) should that be added.</p>



<a name="171715099"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.07.25/near/171715099" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E25.html#171715099">(Jul 25 2019 at 18:31)</a>:</h4>
<p>have just force pushed</p>



<a name="171715109"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.07.25/near/171715109" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E25.html#171715109">(Jul 25 2019 at 18:31)</a>:</h4>
<p>in case you want to merge</p>



<a name="171715112"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.07.25/near/171715112" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E25.html#171715112">(Jul 25 2019 at 18:31)</a>:</h4>
<p>I guess we can open an issue</p>



<a name="171715213"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.07.25/near/171715213" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E25.html#171715213">(Jul 25 2019 at 18:32)</a>:</h4>
<p>actually there is an issue already <a href="https://github.com/rust-lang/compiler-team/issues/87" target="_blank" title="https://github.com/rust-lang/compiler-team/issues/87">compiler-team#87</a></p>



<a name="171715228"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.07.25/near/171715228" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E25.html#171715228">(Jul 25 2019 at 18:32)</a>:</h4>
<p>If you’re interested in doing more on it, we should add some “knowledgeable” or “familiar” level to it and then advertise it again.</p>



<a name="171715365"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.07.25/near/171715365" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E25.html#171715365">(Jul 25 2019 at 18:34)</a>:</h4>
<p>commented on the issue</p>



<a name="171715391"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.07.25/near/171715391" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E25.html#171715391">(Jul 25 2019 at 18:34)</a>:</h4>
<blockquote>
<p>If you’re interested in doing more on it, we should add some “knowledgeable” or “familiar” level to it and then advertise it again.</p>
</blockquote>
<p>how would that look like?</p>



<a name="171715400"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.07.25/near/171715400" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E25.html#171715400">(Jul 25 2019 at 18:35)</a>:</h4>
<p>a level like that added where?</p>



<a name="171715447"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.07.25/near/171715447" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E25.html#171715447">(Jul 25 2019 at 18:35)</a>:</h4>
<p>we have <a href="https://rust-lang.github.io/compiler-team/docs/experts/" target="_blank" title="https://rust-lang.github.io/compiler-team/docs/experts/">https://rust-lang.github.io/compiler-team/docs/experts/</a></p>



<a name="171715457"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.07.25/near/171715457" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E25.html#171715457">(Jul 25 2019 at 18:35)</a>:</h4>
<p>we want <a href="https://rust-lang.github.io/compiler-team/docs/knowledgeable/" target="_blank" title="https://rust-lang.github.io/compiler-team/docs/knowledgeable/">https://rust-lang.github.io/compiler-team/docs/knowledgeable/</a> ?</p>



<a name="171715509"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.07.25/near/171715509" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E25.html#171715509">(Jul 25 2019 at 18:36)</a>:</h4>
<p>or we want the knowleadgeable to live in the same experts map but with a different section for it?</p>



<a name="171715537"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.07.25/near/171715537" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E25.html#171715537">(Jul 25 2019 at 18:36)</a>:</h4>
<p>I’d change <code>[[experts]]</code> to <code>[[areas]]</code> and then change the <code>area</code> key to <code>name</code> and <code>who</code> to <code>experts</code>. Then add a <code>knowledgeable</code> or <code>familiar</code> key.</p>



<a name="171715552"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.07.25/near/171715552" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E25.html#171715552">(Jul 25 2019 at 18:36)</a>:</h4>
<p>ok</p>



<a name="171715585"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.07.25/near/171715585" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E25.html#171715585">(Jul 25 2019 at 18:37)</a>:</h4>
<p>Unless you have another preference, but I think that would generalise it to multiple lists of people per area.</p>



<a name="171715602"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.07.25/near/171715602" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E25.html#171715602">(Jul 25 2019 at 18:37)</a>:</h4>
<p><span aria-label="+1" class="emoji emoji-1f44d" role="img" title="+1">:+1:</span> seems good</p>



<a name="171715639"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.07.25/near/171715639" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E25.html#171715639">(Jul 25 2019 at 18:37)</a>:</h4>
<p>btw, this <a href="https://github.com/rust-lang/compiler-team/issues/95" target="_blank" title="https://github.com/rust-lang/compiler-team/issues/95">compiler-team#95</a> is now mergeable in case you missed my comment</p>



<a name="171715714"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.07.25/near/171715714" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E25.html#171715714">(Jul 25 2019 at 18:38)</a>:</h4>
<p>Feel free to merge it or you can add the new level on that PR, whatever you prefer.</p>



<a name="171715718"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.07.25/near/171715718" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E25.html#171715718">(Jul 25 2019 at 18:38)</a>:</h4>
<p>and this <a href="https://github.com/rust-lang/compiler-team/issues/67" target="_blank" title="https://github.com/rust-lang/compiler-team/issues/67">compiler-team#67</a> is the other PR and I'd just leave issues for next time</p>



<a name="171715748"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.07.25/near/171715748" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E25.html#171715748">(Jul 25 2019 at 18:39)</a>:</h4>
<p>I’ll update that this week to be integrated into the website.</p>



<a name="171715776"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.07.25/near/171715776" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E25.html#171715776">(Jul 25 2019 at 18:39)</a>:</h4>
<p>let's merge it and leave that thing for another PR</p>



<a name="171715792"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.07.25/near/171715792" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E25.html#171715792">(Jul 25 2019 at 18:39)</a>:</h4>
<p>are we allowed to merge our own PRs? :P</p>



<a name="171715800"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.07.25/near/171715800" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E25.html#171715800">(Jul 25 2019 at 18:39)</a>:</h4>
<p>I'd feel better if you do it :P</p>



<a name="171715801"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.07.25/near/171715801" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E25.html#171715801">(Jul 25 2019 at 18:39)</a>:</h4>
<p>I can click the button if you want.</p>



<a name="171715805"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.07.25/near/171715805" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E25.html#171715805">(Jul 25 2019 at 18:39)</a>:</h4>
<p>:)</p>



<a name="171715878"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.07.25/near/171715878" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E25.html#171715878">(Jul 25 2019 at 18:40)</a>:</h4>
<p>to be honest, I know is a bit silly for this kind of PRs but not sure if there's a policy or something around</p>



<a name="171715908"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.07.25/near/171715908" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E25.html#171715908">(Jul 25 2019 at 18:40)</a>:</h4>
<p>last one <a href="https://github.com/rust-lang/compiler-team/issues/67" target="_blank" title="https://github.com/rust-lang/compiler-team/issues/67">compiler-team#67</a></p>



<a name="171715921"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.07.25/near/171715921" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E25.html#171715921">(Jul 25 2019 at 18:40)</a>:</h4>
<p>I guess you're more aware than I am about it</p>



<a name="171715929"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.07.25/near/171715929" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E25.html#171715929">(Jul 25 2019 at 18:41)</a>:</h4>
<p>Yeah, I’ll update that this week to be part of the website.</p>



<a name="171715979"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.07.25/near/171715979" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E25.html#171715979">(Jul 25 2019 at 18:41)</a>:</h4>
<p>cool</p>



<a name="171715986"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.07.25/near/171715986" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E25.html#171715986">(Jul 25 2019 at 18:41)</a>:</h4>
<p>are we done then?</p>



<a name="171715989"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.07.25/near/171715989" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E25.html#171715989">(Jul 25 2019 at 18:41)</a>:</h4>
<p>:)</p>



<a name="171715993"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.07.25/near/171715993" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E25.html#171715993">(Jul 25 2019 at 18:41)</a>:</h4>
<p>I think so.</p>



<a name="171716141"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.07.25/near/171716141" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E25.html#171716141">(Jul 25 2019 at 18:43)</a>:</h4>
<p>cool <span aria-label="wave" class="emoji emoji-1f44b" role="img" title="wave">:wave:</span> then</p>



<a name="171716870"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.07.25/near/171716870" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E25.html#171716870">(Jul 25 2019 at 18:53)</a>:</h4>
<p><span class="user-mention" data-user-id="116107">@davidtwco</span> last thing <a href="https://github.com/rust-lang/compiler-team/pull/130" target="_blank" title="https://github.com/rust-lang/compiler-team/pull/130">https://github.com/rust-lang/compiler-team/pull/130</a></p>



<a name="171716988"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.07.25/near/171716988" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E25.html#171716988">(Jul 25 2019 at 18:54)</a>:</h4>
<p>Nice, we should let people know it is a thing so they can add themselves. I’ll take a look and do that later.</p>



<a name="171717568"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.07.25/near/171717568" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E25.html#171717568">(Jul 25 2019 at 19:01)</a>:</h4>
<p>I'm already writing a post to IRLO</p>



<a name="171717618"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.07.25/near/171717618" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E25.html#171717618">(Jul 25 2019 at 19:02)</a>:</h4>
<p><span class="user-mention" data-user-id="116107">@davidtwco</span> would be better if I send that after we merge this</p>



<a name="171717653"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.07.25/near/171717653" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E25.html#171717653">(Jul 25 2019 at 19:02)</a>:</h4>
<blockquote>
<p>As people have probably seen we have an experts map that tries to put together different areas of the compiler with their respective directories that involved the code of that area and the experts and people familiar with the code base of that area.</p>
<p>We wanted to make a call for people that work on the compiler to automatically sign in there the areas they feel experts or a bit familiar or knowledgeable. In meanwhile you're at there in the areas you know about if you can complete the directories section would be appreciated.</p>
<p>This is the issue in question <a href="https://github.com/rust-lang/compiler-team/issues/87" target="_blank" title="https://github.com/rust-lang/compiler-team/issues/87">https://github.com/rust-lang/compiler-team/issues/87</a> and you can see the experts map here <a href="https://github.com/rust-lang/compiler-team/blob/master/content/docs/experts/map.toml" target="_blank" title="https://github.com/rust-lang/compiler-team/blob/master/content/docs/experts/map.toml">https://github.com/rust-lang/compiler-team/blob/master/content/docs/experts/map.toml</a></p>
</blockquote>



<a name="171717658"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.07.25/near/171717658" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E25.html#171717658">(Jul 25 2019 at 19:02)</a>:</h4>
<p>I don’t mind either way.</p>



<a name="171717699"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.07.25/near/171717699" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E25.html#171717699">(Jul 25 2019 at 19:03)</a>:</h4>
<p>Looks good.</p>



<a name="171717703"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.07.25/near/171717703" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E25.html#171717703">(Jul 25 2019 at 19:03)</a>:</h4>
<p>I think it would be better to send that after so we already have the familiar place holder</p>



<a name="171717727"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.07.25/near/171717727" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E25.html#171717727">(Jul 25 2019 at 19:03)</a>:</h4>
<p>if you want to help me improve that in some way, I'm more than open to that :)</p>



<a name="171717740"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.07.25/near/171717740" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E25.html#171717740">(Jul 25 2019 at 19:03)</a>:</h4>
<p>otherwise I'd just wait you to merge the thing and post it</p>



<a name="171717837"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.07.25/near/171717837" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E25.html#171717837">(Jul 25 2019 at 19:04)</a>:</h4>
<p>Merged.</p>



<a name="171717885"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.07.25/near/171717885" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E25.html#171717885">(Jul 25 2019 at 19:05)</a>:</h4>
<p><a href="https://internals.rust-lang.org/t/call-to-fill-compiler-experts-familiar-map/10630" target="_blank" title="https://internals.rust-lang.org/t/call-to-fill-compiler-experts-familiar-map/10630">https://internals.rust-lang.org/t/call-to-fill-compiler-experts-familiar-map/10630</a></p>



<a name="171801750"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.07.25/near/171801750" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E25.html#171801750">(Jul 26 2019 at 19:09)</a>:</h4>
<p><span class="user-mention" data-user-id="116107">@davidtwco</span> have you seen this <a href="https://github.com/rust-lang/compiler-team/pull/131" target="_blank" title="https://github.com/rust-lang/compiler-team/pull/131">https://github.com/rust-lang/compiler-team/pull/131</a> from @lqd ?</p>



<a name="171801771"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.07.25/near/171801771" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E25.html#171801771">(Jul 26 2019 at 19:09)</a>:</h4>
<p>maybe it's a good idea to have a key for external crates?</p>



<a name="171801870"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.07.25/near/171801870" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E25.html#171801870">(Jul 26 2019 at 19:10)</a>:</h4>
<p>Yeah, that sounds good.</p>



<a name="171802386"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.07.25/near/171802386" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E25.html#171802386">(Jul 26 2019 at 19:17)</a>:</h4>
<p>eg <code>crates</code> or <code>repositories</code> ?</p>



<a name="171802524"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.07.25/near/171802524" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E25.html#171802524">(Jul 26 2019 at 19:18)</a>:</h4>
<p>yeah, maybe something like that</p>



<a name="171803092"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.07.25/near/171803092" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E25.html#171803092">(Jul 26 2019 at 19:26)</a>:</h4>
<p><span class="user-mention" data-user-id="116107">@davidtwco</span> wdyt, something like <code>crates=["https://github.com/rust-lang/polonius", "https://github.com/rust-lang/datafrog"]</code> ?</p>



<a name="171803826"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.07.25/near/171803826" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E25.html#171803826">(Jul 26 2019 at 19:37)</a>:</h4>
<p>Nit: If we’re going to have links to GitHub then <code>repositories</code> is probably a more accurate key name. </p>
<p>Otherwise, LGTM.</p>



<a name="171804640"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.07.25/near/171804640" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E25.html#171804640">(Jul 26 2019 at 19:50)</a>:</h4>
<p>or just the names in <code>crates</code> if you'd rather not have links</p>



<a name="171806030"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.07.25/near/171806030" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E25.html#171806030">(Jul 26 2019 at 20:04)</a>:</h4>
<p>I'd go with crates names</p>



<a name="171806066"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.07.25/near/171806066" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E25.html#171806066">(Jul 26 2019 at 20:05)</a>:</h4>
<p>ok I'll update the PR :)</p>



<a name="171806090"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.07.25/near/171806090" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E25.html#171806090">(Jul 26 2019 at 20:05)</a>:</h4>
<p><span class="user-mention" data-user-id="116113">@lqd</span> <span aria-label="+1" class="emoji emoji-1f44d" role="img" title="+1">:+1:</span> meanwhile you're there if you can add <code>crates = []</code> for the rest of the entries</p>



<a name="171806146"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.07.25/near/171806146" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E25.html#171806146">(Jul 26 2019 at 20:06)</a>:</h4>
<p>sure no problem</p>



<a name="171807123"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.07.25/near/171807123" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E25.html#171807123">(Jul 26 2019 at 20:20)</a>:</h4>
<p><span class="user-mention" data-user-id="116266">@Santiago Pastorino</span> here you go I added the <code>crates</code> entries</p>



<a name="171807734"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.07.25/near/171807734" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E25.html#171807734">(Jul 26 2019 at 20:30)</a>:</h4>
<p>merged</p>



<a name="171807754"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.07.25/near/171807754" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E25.html#171807754">(Jul 26 2019 at 20:30)</a>:</h4>
<p>btw guys, if you can add more directories that you know are related to some of the areas that would be more than welcome :)</p>



<a name="171808370"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.07.25/near/171808370" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E25.html#171808370">(Jul 26 2019 at 20:40)</a>:</h4>
<p><span class="user-mention" data-user-id="116113">@lqd</span> in particular I've just realized that you've removed the directories entries on polonius area</p>



<a name="171808376"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.07.25/near/171808376" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E25.html#171808376">(Jul 26 2019 at 20:40)</a>:</h4>
<p>add those back, please :)</p>



<a name="171808417"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.07.25/near/171808417" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E25.html#171808417">(Jul 26 2019 at 20:41)</a>:</h4>
<p>which entries ? there weren’t any right ?</p>



<a name="171808473"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.07.25/near/171808473" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E25.html#171808473">(Jul 26 2019 at 20:42)</a>:</h4>
<p>unsure, maybe I'm confused with another PR :)</p>



<a name="171808481"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.07.25/near/171808481" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E25.html#171808481">(Jul 26 2019 at 20:42)</a>:</h4>
<p>did you see the question I asked in the PR about those btw ?</p>



<a name="171808497"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.07.25/near/171808497" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E25.html#171808497">(Jul 26 2019 at 20:43)</a>:</h4>
<p>but would be great if you add that here <a href="https://github.com/rust-lang/compiler-team/pull/131/files#diff-af6067ceedc68fd82fb1bdcd5b66c548R133" target="_blank" title="https://github.com/rust-lang/compiler-team/pull/131/files#diff-af6067ceedc68fd82fb1bdcd5b66c548R133">https://github.com/rust-lang/compiler-team/pull/131/files#diff-af6067ceedc68fd82fb1bdcd5b66c548R133</a></p>



<a name="171808499"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.07.25/near/171808499" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E25.html#171808499">(Jul 26 2019 at 20:43)</a>:</h4>
<p>ahh ya</p>



<a name="171808509"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.07.25/near/171808509" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E25.html#171808509">(Jul 26 2019 at 20:43)</a>:</h4>
<p>you put those in a comment</p>



<a name="171808565"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.07.25/near/171808565" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E25.html#171808565">(Jul 26 2019 at 20:44)</a>:</h4>
<p>hmm I'm wondering if we should reference some of those directories there too</p>



<a name="171808568"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.07.25/near/171808568" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E25.html#171808568">(Jul 26 2019 at 20:44)</a>:</h4>
<p>what do you think?</p>



<a name="171808591"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.07.25/near/171808591" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E25.html#171808591">(Jul 26 2019 at 20:44)</a>:</h4>
<p>I know those are not specifically a Polonius thing, it's just that Polonius is used from there</p>



<a name="171808594"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.07.25/near/171808594" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E25.html#171808594">(Jul 26 2019 at 20:44)</a>:</h4>
<p>unsure, maybe we should leave that empty?</p>



<a name="171808608"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.07.25/near/171808608" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E25.html#171808608">(Jul 26 2019 at 20:44)</a>:</h4>
<p>since they’re really NLL directories I was unsure whether it was what you wanted, but I don’t really mind either way</p>



<a name="171808723"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.07.25/near/171808723" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E25.html#171808723">(Jul 26 2019 at 20:46)</a>:</h4>
<p>if the goal of these is for people to know whom to ask for help when they’re in one of those directories, then maybe empty for now, I’m not sure <span aria-label="thinking" class="emoji emoji-1f914" role="img" title="thinking">:thinking:</span></p>



<a name="171808737"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.07.25/near/171808737" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E25.html#171808737">(Jul 26 2019 at 20:46)</a>:</h4>
<p>yeah empty is better I think <span aria-label="+1" class="emoji emoji-1f44d" role="img" title="+1">:+1:</span></p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>